Философский энциклопедический словарь - аксиома
Связанные словари
Аксиома
аксиома
(греч. axioma — принятое положение) — исходное утверждение (предложение) к.-л. научной теории, к-рое берется в качестве недоказуемого в данной теории и из к-рого (или совокупности к-рых) выводятся все остальные предложения теории по принятым в ней правилам вывода (ср. Постулат). Начиная с античности и вплоть до средины 19 в. А. рассматривались как интуитивно очевидные или априорно истинные предложения. При этом упускалась из виду их обусловленность человеческой практически-познавательной деятельностью. Ленин писал, что практическая деятельность человека, миллиарды раз повторяясь, закрепляется в его сознании фигурами логики, к-рые в силу этого многократного повторения получают значение аксиом. Совр. понимание аксиоматического метода требует от А. выполнения лишь одного условия: быть исходными положениями для вывода с помощью принятых логических правил всех остальных предложений (теорем) данной теории. Вопрос об истинности А. решается или в рамках др. научных теорий, или при нахождении интерпретации (Интерпретация и модель) данной системы: реализация нек-рой формализованной аксиоматической системы в той или иной предметной области свидетельствует об истинности принятых в ней А.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
(от греч. axioma значимость, требование) исходное положение, которое не может быть доказано, но в то же время и не нуждается в доказательстве, т. к. является совершенно очевидным и поэтому может служить исходным положением для др. положений (см. Дедукция). Логическими аксиомами являются: закон тождества, закон противоречия, закон исключенного третьего (см. Exclusi tertii principium), закон достаточного основания. Аксиоматика учение об определениях и доказательствах в их отношении к системе аксиом. Ср. Логистика. ...Философский энциклопедический словарь
2.
исходное положение науч. теории, принимаемое в качестве истинного без логич. доказательства и лежащее в основе доказательства др. положений этой теории. Термин «А.» впервые встречается у Аристотеля. В истории познания А. обычно рассматривались как вечные и непреложные априорные истины, при этом упускалась из виду их обусловленность многовековым человеч. опытом, практич.-познават. деятельностью. В совр. науке А.это те предложения теории, к-рые принимаются за исходные, причём вопрос об истинности решается либо в рамках др. науч. теорий, либо посредством интерпретации данной теории. В отличие от содержат, науч. теории, А. в формальном исчислении это просто одна из тех формул, из к-рых по правилам вывода этого исчисления выводятся остальные доказуемые в нём формулы (теоремы этого исчисления). См. также ст. Аксиоматический метода лит. к ней. ...Советский философский словарь
3.
(от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений. Долгое время термин "А." понимался не просто как отправной пункт доказательств, но и как истинное положение, не нуждающееся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384-322 до н. э.) считал, что А. (начала) не требуют доказательства по причине своей ясности и простоты. Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их очевидность. Переосмысление проблемы обоснования А. изменило и содержание самого термина "А.". А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и...Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2500 | |
2 | 2319 | |
3 | 1988 | |
4 | 1975 | |
5 | 1913 | |
6 | 1825 | |
7 | 1721 | |
8 | 1657 | |
9 | 1638 | |
10 | 1504 | |
11 | 1425 | |
12 | 1385 | |
13 | 1376 | |
14 | 1372 | |
15 | 1248 | |
16 | 1071 | |
17 | 1059 | |
18 | 1057 | |
19 | 1032 | |
20 | 961 |